finite-prob-space
== {p:rationals List| (qsum(0; ||p||; i.p[i]) = 1)  l_all(p; rationals; q.qle(0; q))}  

latex

---

clarification:

finite-prob-space
== {p:rationals List| 
== {(qsum(0; ||p||; i.p[i]) = 1  rationals)  l_all(p; rationals; q.qle(0; q))}  

latex

Definitions	{x:A| B(x)} , type List, P  Q, s = t, qsum(a; b; j.E(j)), ||as||, l[i], l_all(L; T; x.P(x)), rationals, qle(r; s), #$n
FDL editor aliases	finite-prob-space